Termination for Hybrid Tableaus
نویسندگان
چکیده
منابع مشابه
Termination for Hybrid Tableaus
This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Braüner [5]. Their paper gives tableau-based decision procedures for basic hybrid logic (with unary modalities) and the basic logic extended with the global modality. All their proof procedures make use of loop-checks to ensure termination. Here we take a closer look at termination for hybr...
متن کاملSemantics and Tableaus for LPS4
An axiomatic formulation of a logic called LPS4 appears in [3]. Here that logic is proved sound and complete with respect to the weak semantics of [7]. Also a tableau system for LPS4 is introduced, and also proved sound and complete with respect to the semantics, thus establishing both cut elimination and equivalence with the axiomatic formulation.
متن کاملTR-2004016: Semantics and Tableaus for LPS4
An axiomatic formulation of a logic called LPS4 appears in [3]. Here that logic is proved sound and complete with respect to the weak semantics of [7]. Also a tableau system for LPS4 is introduced, and also proved sound and complete with respect to the semantics, thus establishing both cut elimination and equivalence with the axiomatic formulation.
متن کاملTableaus and Automata for Description Logics
In this paper, we briefly present three different approaches at examining the relation between tableaus and automata, and possibly combining their advantages in the context of testing satisfiability of description logic concepts. The first approach tries to transfer the efficiency of tableaus to automata by performing the automata emptiness test with a tableau algorithm. The second one examines...
متن کاملDigital darkfield tableaus
Like wavelet decompositions, power spectra "tiled with direct space maps" are versions of a lattice image intermediate between direct and reciprocal space [1]. They generally take about the same time to calculate as a power spectrum, and contain useful information of all sorts about "where periodicities lie". Questions of this sort will be of increasing importance e.g. in subångstrom resolution...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2007
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exm014